<?PHP
function getmicrotime(){ 
    list($usec, $sec) = explode(" ",microtime()); 
    return ((float)$usec + (float)$sec); 
    }

$time_start = getmicrotime();
/////////////////////////////////////////////////////////
require_once('admincontroller.php');

$AdminCtrl = &new AdminController();
//$AdminCtrl->RequestHandler($_SERVER['REQUEST_URI']);
$AdminCtrl->ShowPage($_SERVER['REQUEST_URI']);
unset($AdminCtrl);
/////////////////////////////////////////////////////////
$time_end = getmicrotime();
$time = $time_end - $time_start;
print "<!-- interval in seconds: $time -->";
?>